G s0 flag=[F, F] turn=0 t1.another=␡ t1.cs=␡ t1.this=␡ t2.another=␡ t2.cs=␡ t2.this=␡ s1 flag=[F, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=␡ t2.cs=␡ t2.this=␡ s0->s1 t1 s2 flag=[F, F] turn=0 t1.another=␡ t1.cs=␡ t1.this=␡ t2.another=0 t2.cs=␡ t2.this=1 s0->s2 t2 s3 flag=[F, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=␡ t2.cs=␡ t2.this=␡ s1->s3 t1 s4 flag=[F, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s1->s4 t2 s2->s4 t1 s5 flag=[F, F] turn=0 t1.another=␡ t1.cs=␡ t1.this=␡ t2.another=0 t2.cs=␡ t2.this=1 s2->s5 t2 s6 flag=[T, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=␡ t2.cs=␡ t2.this=␡ s3->s6 t1 s7 flag=[F, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s3->s7 t2 s4->s7 t1 s8 flag=[F, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s4->s8 t2 s5->s8 t1 s9 flag=[F, T] turn=0 t1.another=␡ t1.cs=␡ t1.this=␡ t2.another=0 t2.cs=␡ t2.this=1 s5->s9 t2 s10 flag=[T, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=␡ t2.cs=␡ t2.this=␡ s6->s10 t1 s11 flag=[T, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s6->s11 t2 s7->s11 t1 s12 flag=[F, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s7->s12 t2 s8->s12 t1 s13 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s8->s13 t2 s9->s13 t1 s14 flag=[F, T] turn=0 t1.another=␡ t1.cs=␡ t1.this=␡ t2.another=0 t2.cs=␡ t2.this=1 s9->s14 t2 s15 flag=[T, F] turn=0 t1.another=1 t1.cs=T t1.this=0 t2.another=␡ t2.cs=␡ t2.this=␡ s10->s15 t1 s16 flag=[T, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s10->s16 t2 s11->s16 t1 s17 flag=[T, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s11->s17 t2 s12->s17 t1 s18 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s12->s18 t2 s13->s18 t1 s19 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s13->s19 t2 s14->s19 t1 s20 flag=[F, T] turn=0 t1.another=␡ t1.cs=␡ t1.this=␡ t2.another=0 t2.cs=T t2.this=1 s14->s20 t2 s21 flag=[T, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=␡ t2.cs=␡ t2.this=␡ s15->s21 t1 s22 flag=[T, F] turn=0 t1.another=1 t1.cs=T t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s15->s22 t2 s16->s22 t1 s23 flag=[T, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s16->s23 t2 s17->s23 t1 s24 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s17->s24 t2 s18->s24 t1 s25 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s18->s25 t2 s19->s25 t1 s26 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=T t2.this=1 s19->s26 t2 s20->s26 t1 s27 flag=[F, T] turn=0 t1.another=␡ t1.cs=␡ t1.this=␡ t2.another=0 t2.cs=␡ t2.this=1 s20->s27 t2 s28 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=␡ t2.cs=␡ t2.this=␡ s21->s28 t1 s29 flag=[T, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s21->s29 t2 s22->s29 t1 s30 flag=[T, F] turn=0 t1.another=1 t1.cs=T t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s22->s30 t2 s23->s30 t1 s31 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s23->s31 t2 s32 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s24->s32 t1 s33 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s24->s33 t2 s34 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s25->s34 t1 s35 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=T t2.this=1 s25->s35 t2 s26->s35 t1 s36 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s26->s36 t2 s27->s36 t1 s37 flag=[F, T] turn=0 t1.another=␡ t1.cs=␡ t1.this=␡ t2.another=0 t2.cs=␡ t2.this=1 s27->s37 t2 s38 flag=[F, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=␡ t2.cs=␡ t2.this=␡ s28->s38 t1 s39 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s28->s39 t2 s29->s39 t1 s40 flag=[T, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s29->s40 t2 s30->s40 t1 s41 flag=[T, T] turn=0 t1.another=1 t1.cs=T t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s30->s41 t2 s31->s41 t1 s42 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s31->s42 t2 s32->s32 t1 s43 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s32->s43 t2 s33->s43 t1 s44 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s33->s44 t2 s45 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s34->s45 t1 s46 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=T t2.this=1 s34->s46 t2 s35->s46 t1 s47 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s35->s47 t2 s36->s47 t1 s48 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s36->s48 t2 s37->s5 t2 s37->s48 t1 s49 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=␡ t2.cs=␡ t2.this=␡ s38->s49 t1 s50 flag=[F, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s38->s50 t2 s39->s50 t1 s51 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s39->s51 t2 s40->s51 t1 s52 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s40->s52 t2 s41->s52 t1 s53 flag=[T, T] turn=0 t1.another=1 t1.cs=T t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s41->s53 t2 s42->s53 t1 s54 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s42->s54 t2 s43->s43 t1 s55 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s43->s55 t2 s44->s55 t1 s56 flag=[T, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s44->s56 t2 s45->s45 t1 s57 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=T t2.this=1 s45->s57 t2 s46->s57 t1 s58 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s46->s58 t2 s47->s58 t1 s59 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s47->s59 t2 s48->s8 t2 s48->s59 t1 s60 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=␡ t2.cs=␡ t2.this=␡ s49->s60 t1 s61 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s49->s61 t2 s50->s61 t1 s62 flag=[F, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s50->s62 t2 s51->s62 t1 s63 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s51->s63 t2 s52->s63 t1 s64 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s52->s64 t2 s53->s64 t1 s65 flag=[T, T] turn=0 t1.another=1 t1.cs=T t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s53->s65 t2 s54->s65 t1 s66 flag=[T, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s54->s66 t2 s55->s55 t1 s67 flag=[T, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s55->s67 t2 s56->s66 t1 s68 flag=[T, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s56->s68 t2 s57->s57 t1 s69 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s57->s69 t2 s58->s69 t1 s70 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s58->s70 t2 s59->s12 t2 s59->s70 t1 s71 flag=[T, F] turn=1 t1.another=1 t1.cs=T t1.this=0 t2.another=␡ t2.cs=␡ t2.this=␡ s60->s71 t1 s72 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s60->s72 t2 s61->s72 t1 s73 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s61->s73 t2 s62->s73 t1 s74 flag=[F, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s62->s74 t2 s63->s74 t1 s75 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s63->s75 t2 s64->s75 t1 s76 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s64->s76 t2 s65->s76 t1 s77 flag=[T, F] turn=0 t1.another=1 t1.cs=T t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s65->s77 t2 s66->s77 t1 s78 flag=[T, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s66->s78 t2 s67->s66 t1 s79 flag=[T, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s67->s79 t2 s68->s68 t2 s68->s78 t1 s69->s69 t1 s80 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s69->s80 t2 s70->s17 t2 s70->s80 t1 s81 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=␡ t2.cs=␡ t2.this=␡ s71->s81 t1 s82 flag=[T, F] turn=1 t1.another=1 t1.cs=T t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s71->s82 t2 s72->s82 t1 s83 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s72->s83 t2 s73->s83 t1 s84 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s73->s84 t2 s74->s84 t1 s85 flag=[F, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s74->s85 t2 s75->s75 t2 s86 flag=[F, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s75->s86 t1 s87 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s76->s87 t1 s88 flag=[T, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s76->s88 t2 s77->s88 t1 s89 flag=[T, F] turn=0 t1.another=1 t1.cs=T t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s77->s89 t2 s78->s78 t2 s78->s89 t1 s79->s78 t1 s79->s79 t2 s80->s80 t1 s90 flag=[T, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s80->s90 t2 s81->s28 t1 s91 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s81->s91 t2 s82->s91 t1 s92 flag=[T, F] turn=1 t1.another=1 t1.cs=T t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s82->s92 t2 s83->s92 t1 s93 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s83->s93 t2 s94 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s84->s94 t1 s95 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s84->s95 t2 s96 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s85->s96 t1 s97 flag=[F, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=T t2.this=1 s85->s97 t2 s86->s85 t2 s86->s95 t1 s98 flag=[F, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s87->s98 t1 s99 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s87->s99 t2 s88->s99 t1 s100 flag=[T, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s88->s100 t2 s89->s89 t2 s89->s100 t1 s90->s23 t1 s90->s32 t2 s91->s39 t1 s101 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s91->s101 t2 s92->s101 t1 s102 flag=[T, T] turn=1 t1.another=1 t1.cs=T t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s92->s102 t2 s93->s102 t1 s103 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s93->s103 t2 s104 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s94->s104 t1 s105 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s94->s105 t2 s95->s95 t2 s95->s105 t1 s106 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s96->s106 t1 s107 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=T t2.this=1 s96->s107 t2 s97->s107 t1 s108 flag=[F, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s97->s108 t2 s109 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s98->s109 t1 s110 flag=[F, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s98->s110 t2 s99->s110 t1 s111 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s99->s111 t2 s100->s100 t2 s112 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s100->s112 t1 s101->s51 t1 s113 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s101->s113 t2 s102->s113 t1 s114 flag=[T, T] turn=1 t1.another=1 t1.cs=T t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s102->s114 t2 s103->s103 t2 s103->s114 t1 s115 flag=[F, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s104->s115 t1 s116 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s104->s116 t2 s105->s105 t2 s105->s116 t1 s117 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s106->s117 t1 s118 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=T t2.this=1 s106->s118 t2 s107->s118 t1 s119 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s107->s119 t2 s108->s59 t2 s108->s119 t1 s120 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s109->s120 t1 s121 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s109->s121 t2 s110->s121 t1 s122 flag=[F, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s110->s122 t2 s111->s75 t2 s111->s122 t1 s112->s111 t2 s123 flag=[F, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s112->s123 t1 s113->s63 t1 s124 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s113->s124 t2 s114->s114 t2 s114->s124 t1 s125 flag=[F, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s115->s125 t1 s126 flag=[F, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s115->s126 t2 s116->s116 t2 s127 flag=[F, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s116->s127 t1 s117->s126 t1 s128 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=T t2.this=1 s117->s128 t2 s118->s128 t1 s129 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s118->s129 t2 s119->s70 t2 s119->s129 t1 s130 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s120->s130 t1 s131 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s120->s131 t2 s132 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s121->s132 t1 s133 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s121->s133 t2 s122->s85 t2 s122->s133 t1 s123->s122 t2 s134 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s123->s134 t1 s124->s75 t1 s124->s124 t2 s125->s125 t1 s135 flag=[F, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s125->s135 t2 s126->s135 t1 s136 flag=[F, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=T t2.this=1 s126->s136 t2 s127->s126 t2 s137 flag=[F, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s127->s137 t1 s128->s136 t1 s138 flag=[T, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s128->s138 t2 s129->s80 t2 s129->s138 t1 s139 flag=[F, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s130->s139 t1 s140 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s130->s140 t2 s131->s140 t1 s141 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s131->s141 t2 s142 flag=[T, F] turn=1 t1.another=1 t1.cs=T t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s132->s142 t1 s143 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s132->s143 t2 s133->s95 t2 s133->s143 t1 s134->s133 t2 s144 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s134->s144 t1 s135->s135 t1 s145 flag=[F, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=T t2.this=1 s135->s145 t2 s136->s145 t1 s146 flag=[F, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s136->s146 t2 s137->s135 t2 s137->s137 t1 s138->s146 t1 s147 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s138->s147 t2 s148 flag=[F, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s139->s148 t1 s149 flag=[F, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s139->s149 t2 s140->s149 t1 s150 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s140->s150 t2 s141->s105 t2 s141->s150 t1 s151 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s142->s151 t1 s152 flag=[T, F] turn=1 t1.another=1 t1.cs=T t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s142->s152 t2 s143->s103 t2 s143->s152 t1 s144->s143 t2 s153 flag=[T, F] turn=1 t1.another=1 t1.cs=T t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s144->s153 t1 s145->s145 t1 s154 flag=[F, T] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s145->s154 t2 s146->s154 t1 s155 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s146->s155 t2 s147->s155 t1 s156 flag=[T, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s147->s156 t2 s148->s148 t1 s157 flag=[F, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s148->s157 t2 s149->s157 t1 s158 flag=[F, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s149->s158 t2 s150->s116 t2 s150->s158 t1 s151->s99 t1 s159 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s151->s159 t2 s152->s114 t2 s152->s159 t1 s153->s152 t2 s160 flag=[T, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s153->s160 t1 s154->s154 t1 s161 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s154->s161 t2 s162 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s155->s162 t1 s163 flag=[F, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s155->s163 t2 s156->s163 t1 s164 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s156->s164 t2 s157->s157 t1 s165 flag=[F, F] turn=1 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s157->s165 t2 s158->s126 t2 s158->s165 t1 s159->s111 t1 s159->s124 t2 s160->s112 t1 s160->s159 t2 s161->s162 t1 s166 flag=[F, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s161->s166 t2 s162->s80 t1 s167 flag=[F, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s162->s167 t2 s163->s167 t1 s168 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s163->s168 t2 s164->s168 t1 s169 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s164->s169 t2 s165->s135 t2 s165->s165 t1 s166->s167 t1 s170 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s166->s170 t2 s167->s23 t1 s171 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s167->s171 t2 s168->s171 t1 s172 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s168->s172 t2 s173 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s169->s173 t1 s174 flag=[T, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s169->s174 t2 s170->s171 t1 s175 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s170->s175 t2 s171->s32 t1 s176 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s171->s176 t2 s172->s176 t1 s177 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=T t2.this=1 s172->s177 t2 s178 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s173->s178 t1 s179 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s173->s179 t2 s174->s179 t1 s180 flag=[T, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s174->s180 t2 s175->s176 t1 s181 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=T t2.this=1 s175->s181 t2 s176->s45 t1 s182 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=T t2.this=1 s176->s182 t2 s177->s182 t1 s183 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s177->s183 t2 s178->s43 t1 s184 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s178->s184 t2 s179->s184 t1 s185 flag=[F, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s179->s185 t2 s180->s185 t1 s186 flag=[T, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s180->s186 t2 s181->s182 t1 s187 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s181->s187 t2 s182->s57 t1 s188 flag=[F, T] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s182->s188 t2 s183->s155 t2 s183->s188 t1 s184->s55 t1 s189 flag=[F, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s184->s189 t2 s185->s189 t1 s190 flag=[F, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s185->s190 t2 s186->s186 t2 s186->s190 t1 s187->s161 t2 s187->s188 t1 s188->s69 t1 s188->s162 t2 s189->s66 t1 s191 flag=[F, F] turn=0 t1.another=1 t1.cs=␡ t1.this=0 t2.another=0 t2.cs=␡ t2.this=1 s189->s191 t2 s190->s190 t2 s190->s191 t1 s191->s78 t1 s191->s191 t2